Перевод: со всех языков на русский

с русского на все языки

inductive proof

См. также в других словарях:

  • Proof by induction — may mean:*Proof by mathematical induction *Proof by inductive logic …   Wikipedia

  • Proof by example — (also known as inappropriate generalisation ) is a logical fallacy whereby one or more examples are claimed as proof for a more general statement.This fallacy has the following argument form::I know that x in X has the property P.:Therefore, all… …   Wikipedia

  • Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… …   Wikipedia

  • proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… …   Universalium

  • proof — Synonyms and related words: Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, airtight, ammunition, angelophany, announcement, appearance, argument, assay,… …   Moby Thesaurus

  • inductive reasoning — Synonyms and related words: Baconian method, a fortiori reasoning, a posteriori reasoning, a priori reasoning, analysis, deduction, deductive reasoning, demonstration, discourse, discourse of reason, discursive reason, epagoge, generalization,… …   Moby Thesaurus

  • Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… …   Wikipedia

  • Natural proof — In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one. While these proofs are in some sense natural , it can be shown (assuming a widely believed conjecture… …   Wikipedia

  • Calculus of inductive constructions — The calculus of inductive constructions is the underlying core language of the Coq Proof Assistant. It is based on the calculus of constructions extended by inductive definitions as they are known from intuitionistic type theory …   Wikipedia

  • Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… …   Wikipedia

  • Rippling — [Rippling: Meta Level Guidance for Mathematical Reasoning, Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland,Cambridge University Press, 2005. ISBN 052183449X] refers to a group of meta level heuristics, developed primarily in the… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»